home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / ast_comp / concurre.tar / concurrency / atch.tex / images.pl (.txt) < prev    next >
LaTeX Document  |  1993-07-05  |  6KB  |  163 lines
  1. # LaTeX2HTML 2022 (Released January 1, 2022)
  2. # Associate images original text with physical files.
  3. $key = q//;
  4. $cached_env_img{$key} = q|<IMG
  5.  STYLE="" SRC="|."$dir".q|img44.png"
  6.  ALT="$\begin{array}{ll}compl(\tilde X) \cup \{e^{\mbox{\scriptsize o}}\} & \mbox{if }...
  7. ...guration of } {\it ref\/}(b) \  compl(\tilde X) &
  8. \mbox{otherwise} \end{array}$">|; 
  9. $key = q/Box;MSF=1.6;LFS=12;AAT/;
  10. $cached_env_img{$key} = q|<IMG
  11.  STYLE="" SRC="|."$dir".q|img10.png"
  12.  ALT="$\Box$">|; 
  13. $key = q/Longrightarrow;MSF=1.6;LFS=12;AAT/;
  14. $cached_env_img{$key} = q|<IMG
  15.  STYLE="" SRC="|."$dir".q|img2.png"
  16.  ALT="$\Longrightarrow$">|; 
  17. $key = q/approx_{{ib}}^{};MSF=1.6;LFS=12;AAT/;
  18. $cached_env_img{$key} = q|<IMG
  19.  STYLE="" SRC="|."$dir".q|img32.png"
  20.  ALT="$\approx_{{ib}}^{}$">|; 
  21. $key = q/approx_{{it}}^{};MSF=1.6;LFS=12;AAT/;
  22. $cached_env_img{$key} = q|<IMG
  23.  STYLE="" SRC="|."$dir".q|img28.png"
  24.  ALT="$\approx_{{it}}^{}$">|; 
  25. $key = q/bigcuplimits_{{einX}}^{};MSF=1.6;LFS=12;AAT/;
  26. $cached_env_img{$key} = q|<IMG
  27.  STYLE="" SRC="|."$dir".q|img34.png"
  28.  ALT="$\bigcup\limits_{{e \in X}}^{}$">|; 
  29. $key = q/buildrel;MSF=1.6;LFS=12;AAT/;
  30. $cached_env_img{$key} = q|<IMG
  31.  STYLE="" SRC="|."$dir".q|img11.png"
  32.  ALT="$\buildrel$">|; 
  33. $key = q/cal{E};MSF=1.6;LFS=12;AAT/;
  34. $cached_env_img{$key} = q|<IMG
  35.  STYLE="" SRC="|."$dir".q|img3.png"
  36.  ALT="$\cal {E}$">|; 
  37. $key = q/cal{F};MSF=1.6;LFS=12;AAT/;
  38. $cached_env_img{$key} = q|<IMG
  39.  STYLE="" SRC="|."$dir".q|img7.png"
  40.  ALT="$\cal {F}$">|; 
  41. $key = q/displaystylebigcup_{{XinS}}^{};MSF=1.6;LFS=12;AAT/;
  42. $cached_env_img{$key} = q|<IMG
  43.  STYLE="" SRC="|."$dir".q|img35.png"
  44.  ALT="$\displaystyle \bigcup_{{X
  45. \in S}}^{}$">|; 
  46. $key = q/displaystyleit{refslash;MSF=1.6;LFS=12;AAT/;
  47. $cached_env_img{$key} = q|<IMG
  48.  STYLE="" SRC="|."$dir".q|img36.png"
  49.  ALT="$\displaystyle \it ref\/$">|; 
  50. $key = q/it{Actslash;MSF=1.6;LFS=12;AAT/;
  51. $cached_env_img{$key} = q|<IMG
  52.  STYLE="" SRC="|."$dir".q|img13.png"
  53.  ALT="$\it Act\/$">|; 
  54. $key = q/it{Actslash^{*}_{};MSF=1.6;LFS=12;AAT/;
  55. $cached_env_img{$key} = q|<IMG
  56.  STYLE="" SRC="|."$dir".q|img27.png"
  57.  ALT="$\it Act\/^{*}_{}$">|; 
  58. $key = q/it{Confslash;MSF=1.6;LFS=12;AAT/;
  59. $cached_env_img{$key} = q|<IMG
  60.  STYLE="" SRC="|."$dir".q|img9.png"
  61.  ALT="$\it Conf\/$">|; 
  62. $key = q/it{refslash;MSF=1.6;LFS=12;AAT/;
  63. $cached_env_img{$key} = q|<IMG
  64.  STYLE="" SRC="|."$dir".q|img1.png"
  65.  ALT="$\it ref\/$">|; 
  66. $key = q/notapprox;MSF=1.6;LFS=12;AAT/;
  67. $cached_env_img{$key} = q|<IMG
  68.  STYLE="" SRC="|."$dir".q|img31.png"
  69.  ALT="$\not\approx$">|; 
  70. $key = q/notin;MSF=1.6;LFS=12;AAT/;
  71. $cached_env_img{$key} = q|<IMG
  72.  STYLE="" SRC="|."$dir".q|img8.png"
  73.  ALT="$\not\in$">|; 
  74. $key = q/over;MSF=1.6;LFS=12;AAT/;
  75. $cached_env_img{$key} = q|<IMG
  76.  STYLE="" SRC="|."$dir".q|img12.png"
  77.  ALT="$\over$">|; 
  78. $key = q/prec;MSF=1.6;LFS=12;AAT/;
  79. $cached_env_img{$key} = q|<IMG
  80.  STYLE="" SRC="|."$dir".q|img4.png"
  81.  ALT="$\prec$">|; 
  82. $key = q/prec_{{calE}}^{};MSF=1.6;LFS=12;AAT/;
  83. $cached_env_img{$key} = q|<IMG
  84.  STYLE="" SRC="|."$dir".q|img6.png"
  85.  ALT="$\prec_{{\cal E}}^{}$">|; 
  86. $key = q/prec_{{calF}}^{};MSF=1.6;LFS=12;AAT/;
  87. $cached_env_img{$key} = q|<IMG
  88.  STYLE="" SRC="|."$dir".q|img17.png"
  89.  ALT="$\prec_{{\cal F}}^{}$">|; 
  90. $key = q/prec_{{{{it{refslash}(l_{calE}(d))}}^{};MSF=1.6;LFS=12;AAT/;
  91. $cached_env_img{$key} = q|<IMG
  92.  STYLE="" SRC="|."$dir".q|img21.png"
  93.  ALT="$\prec_{{{\it ref\/}(l_{\cal E}(d))}}^{}$">|; 
  94. $key = q/prec_{{{{it{refslash}({calE})}}^{};MSF=1.6;LFS=12;AAT/;
  95. $cached_env_img{$key} = q|<IMG
  96.  STYLE="" SRC="|."$dir".q|img20.png"
  97.  ALT="$\prec_{{{\it ref\/}({\cal E})}}^{}$">|; 
  98. $key = q/scriptscriptstylecal{E};MSF=1.6;LFS=12;AAT/;
  99. $cached_env_img{$key} = q|<IMG
  100.  STYLE="" SRC="|."$dir".q|img19.png"
  101.  ALT="$\scriptscriptstyle \cal {E}$">|; 
  102. $key = q/scriptstylecal{E};MSF=1.6;LFS=12;AAT/;
  103. $cached_env_img{$key} = q|<IMG
  104.  STYLE="" SRC="|."$dir".q|img5.png"
  105.  ALT="$\scriptstyle \cal {E}$">|; 
  106. $key = q/scriptstylecal{F};MSF=1.6;LFS=12;AAT/;
  107. $cached_env_img{$key} = q|<IMG
  108.  STYLE="" SRC="|."$dir".q|img16.png"
  109.  ALT="$\scriptstyle \cal {F}$">|; 
  110. $key = q/scriptstyleit{refslash;MSF=1.6;LFS=12;AAT/;
  111. $cached_env_img{$key} = q|<IMG
  112.  STYLE="" SRC="|."$dir".q|img18.png"
  113.  ALT="$\scriptstyle \it ref\/$">|; 
  114. $key = q/scriptstyletilde{Y};MSF=1.6;LFS=12;AAT/;
  115. $cached_env_img{$key} = q|<IMG
  116.  STYLE="" SRC="|."$dir".q|img45.png"
  117.  ALT="$\scriptstyle \tilde{Y}$">|; 
  118. $key = q/tilde{R};MSF=1.6;LFS=12;AAT/;
  119. $cached_env_img{$key} = q|<IMG
  120.  STYLE="" SRC="|."$dir".q|img37.png"
  121.  ALT="$\tilde{R}$">|; 
  122. $key = q/tilde{X};MSF=1.6;LFS=12;AAT/;
  123. $cached_env_img{$key} = q|<IMG
  124.  STYLE="" SRC="|."$dir".q|img33.png"
  125.  ALT="$\tilde{X}$">|; 
  126. $key = q/tilde{X}{^prime};MSF=1.6;LFS=12;AAT/;
  127. $cached_env_img{$key} = q|<IMG
  128.  STYLE="" SRC="|."$dir".q|img40.png"
  129.  ALT="$\tilde{X}{^\prime}$">|; 
  130. $key = q/tilde{Y};MSF=1.6;LFS=12;AAT/;
  131. $cached_env_img{$key} = q|<IMG
  132.  STYLE="" SRC="|."$dir".q|img38.png"
  133.  ALT="$\tilde{Y}$">|; 
  134. $key = q/tilde{Y}{^prime};MSF=1.6;LFS=12;AAT/;
  135. $cached_env_img{$key} = q|<IMG
  136.  STYLE="" SRC="|."$dir".q|img41.png"
  137.  ALT="$\tilde{Y}{^\prime}$">|; 
  138. $key = q/tilde{f};MSF=1.6;LFS=12;AAT/;
  139. $cached_env_img{$key} = q|<IMG
  140.  STYLE="" SRC="|."$dir".q|img39.png"
  141.  ALT="$\tilde{f}$">|; 
  142. $key = q/tilde{f}{^prime};MSF=1.6;LFS=12;AAT/;
  143. $cached_env_img{$key} = q|<IMG
  144.  STYLE="" SRC="|."$dir".q|img42.png"
  145.  ALT="$\tilde{f}{^\prime}$">|; 
  146. $key = q/{picture}(11,2)put(0,1){line(1,0){11}}put(0,1){vector(1,0){6}}{picture};LFS=12;AAT/;
  147. $cached_env_img{$key} = q|<IMG
  148.   STYLE="" SRC="|."$dir".q|img14.png"
  149.  ALT="\begin{picture}(11,2)
  150. \put(0,1){\line (1,0){11}}
  151. \put(0,1){\vector(1,0){ 6}}
  152. \end{picture}">|; 
  153. $key = q/{picture}(22,2)put(4,0){makebox(0,0)[br]{{a_1{}}put(17,0){makebox(0,0)[bl]{{a_2{,}}put(5,1){line(1,0){11}}put(5,1){vector(1,0){6}}{picture};MSF=1.6;LFS=12;AAT/;
  154. $cached_env_img{$key} = q|<IMG
  155.   STYLE="" SRC="|."$dir".q|img23.png"
  156.  ALT="\begin{picture}(22,2)
  157. \put(4,0){\makebox(0,0)[br]{$a_1$}}
  158. \put(17,0){\makebox(0,...
  159. ...l]{$a_2$,}}
  160. \put(5,1){\line (1,0){11}}
  161. \put(5,1){\vector(1,0){ 6}}
  162. \end{picture}">|; 
  163.